Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
281	Year 1 New Computing Curriculum Overview Strand Add to Reading List Source URL: swaygrantham.co.uk Language: English - Date: 2014-07-02 18:20:09 Computing Computer programming Software engineering Algorithm Mathematical logic Theoretical computer science Computer Input/output Instruction set Subroutine Password Algorithm characterizations
282	CAAD FUTURES DIGITAL PROCEEDINGSChapter 9 Add to Reading List Source URL: cs.gmu.edu Language: English Software engineering Computing Computer programming Reasoning Artificial intelligence Expert systems Programming paradigms Prolog Cognitive architecture Computer-aided architectural design Logic programming Inference
283	Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2010-10-18 00:06:19 Software engineering Theoretical computer science Computing Logic in computer science Formal methods Programming language semantics Control flow Eval Functional languages Operational semantics Robert Bruce Findler Racket
284	Programming Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:35:58 Public-key cryptography Semantics Inter-process communication Communications protocol Data transmission Interpretation Futures and promises Digital signature Logic Language Computing
285	I NTRODUCTION A typed calculus of PRA Typing translation Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-05-13 11:20:35 Type theory Logic in computer science Proof theory Dependently typed programming
286	A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs Claudio Corrodi1,2? , Alexander Heußner3 , and Christopher M. Poskitt1,4? Department of Computer Science, ETH Zürich, Switzerland Software Composit Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2016-03-01 11:02:40 Software engineering Computing Computer programming Logic in computer science Object-oriented programming languages Programming language semantics SCOOP Semantics Eiffel Operational semantics Concurrency Actor model
287	Reprinted from Proceedings of the 2010 ACM Symposium on Principles of Programming Languages (POPL’10) Automatically Generating Instruction Selectors Using Declarative Machine Descriptions Jo˜ao Dias Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2010-03-12 16:07:46 Hoare logic Static program analysis Predicate transformer semantics
288	The complexity of satisfaction problems in Reverse Mathematics Ludovic Patey Laboratoire PPS, Université Paris Diderot, Paris, FRANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-03-18 04:19:11 Logic Mathematics Constraint programming Abstraction Model theory Boolean satisfiability problem Electronic design automation Logic in computer science Complexity of constraint satisfaction Constraint satisfaction problem Satisfiability Binary relation
289	Proof Interpretations with Truth∗ Jaime Gaspar† Paulo Oliva‡ 12 August 2009 Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2011-05-03 06:44:12 Logic Constructivism Mathematical logic Proof theory Abstraction Predicate logic Dependently typed programming Intuitionism Realizability BrouwerHeytingKolmogorov interpretation Intuitionistic logic Quantifier
290	Call by Contract for Cryptographic Protocols Add to Reading List Source URL: evenmere.org Language: English - Date: 2008-06-23 13:57:19 Formal methods Logic in computer science Metalogic Automated theorem proving Logic programming Substitution Postcondition First-order logic Parameter Precondition Well-formed formula Model theory

UPDATE